From: Antoine Jacoutot <ajacoutot@gnome.org>
Date: Fri, 13 Jul 2012 11:51:24 +0000 (+0200)
Subject: portability: use /bin/sh instead of /bin/bash
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~6327
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=3df3f0d9dc0527a3d5096c0118a2bf869a035f30;p=gnome-shell.git

portability: use /bin/sh instead of /bin/bash

There is nothing requiring bash specific features in this script, so
just use /bin/sh which is portable amongst all Unices.

https://bugzilla.gnome.org/show_bug.cgi?id=679847
---

diff --git a/src/gnome-shell-extension-prefs.in b/src/gnome-shell-extension-prefs.in
index fa3725457..acc2cb171 100644
--- a/src/gnome-shell-extension-prefs.in
+++ b/src/gnome-shell-extension-prefs.in
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 if [ -n "$GI_TYPELIB_PATH" ]; then
     export GI_TYPELIB_PATH=@pkglibdir@